📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·14h·
Discuss: Hacker News
🧮Algebraic Datatypes
The Debugging Mindset That Turned Me Into a Better Coder
dev.to·4h·
Discuss: DEV
👁️System Observability
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·8h
🦀Embedded Rust
Understanding Tool-Integrated Reasoning
arxiv.org·5h
🔗Constraint Handling
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·9h·
Discuss: r/programming
🔩Systems Programming
Show HN: CodeBoarding – Visualize Code Structure
codeboarding.org·9h·
Discuss: Hacker News
🦀Rust Macros
Dependent types I › Universes, or types of types
jonmsterling.com·2h·
Discuss: Hacker News
🔤Type Theory
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·19h
🦀Rust Macros
Binary Exploitation 101 - Introduction
r1ru.github.io·18h
📼Cassette Hacking
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Teaching programming languages
kmjn.org·1d
💻Programming languages
Log Detective: GSoC 2025 (part 2)
danigm.net·4h
🔓Open Source Software
Chatting with Unmesh about building language with LLMs
martinfowler.com·19h
💻Programming languages
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·1d
🧲Magnetic Philosophy
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·15h·
Discuss: Hacker News
🦀Rust Macros
A Bitcoin Core Code Analysis
binaryigor.com·1d·
Discuss: Hacker News
🧬Bitstream Evolution
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·1d
🔗Concatenative Programming
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·21h
✅Format Verification